18 Vectors and Arrays “Caveat emptor!” —Good advice T

Source URL: stroustrup.com

• C++
• Software engineering
• Computer programming
• Method
• Data types
• Vectors
• Copy constructor
• Sequence container
• Constructor
• C++ classes
• Const
• Assignment operator

Types for Correctness of Queries over Semistructured Data Dario Colazzo Giorgio Ghelli Paolo Manghi

Source URL: www.di.unipi.it

A Static Analyzer for Large Safety-Critical Software (Extended Abstract) Bruno Blanchet ∗ § Laurent Mauborgne § Patrick Cousot §

Source URL: www-verimag.imag.fr

• Computing
• Software engineering
• Computer programming
• Abstract interpretation
• Data types
• Functional languages
• Denotational semantics
• Function
• Array data type
• Scala
• Widening
• Data-flow analysis

Glossary abscissa 1) Math. the x-coordinate. address 1) Comp. a number that represents a location in memory. aggregate 1) Stat. to combine consecutive observations in a time series; for example, a monthly time series of

Source URL: www.burns-stat.com

• Mathematics
• Mathematical analysis
• Data types
• Regression analysis
• Probability theory
• Random variable
• Randomness
• Statistical theory
• Derivative
• Variable
• LOOP
• Parameter

1 Typing deep pattern-matching in presence of polymorphic variants Jacques Garrigue† Polymorphic variants are a well-known feature of the Objective Caml programming language, and they have turned popular since their i

Source URL: www.math.nagoya-u.ac.jp

• Software engineering
• Computer programming
• Programming language theory
• Type theory
• Data types
• Functional languages
• Functional programming
• Procedural programming languages
• Standard ML
• Algebraic data type
• Tagged union
• Unification

EnerJ Approximate Data Types for Safe and General Low-Power Computation Adrian Sampson

Source URL: adriansampson.net

Code reuse through polymorphic variants∗ Jacques Garrigue November 8, 2000 Abstract Their support for code reuse has made object-oriented languages popular. However,

Source URL: www.math.nagoya-u.ac.jp

• Software engineering
• Computer programming
• Declarative programming
• Functional programming
• Data types
• Type theory
• Eval
• Standard ML
• Anonymous function
• HindleyMilner type system
• OCaml
• Polymorphism

On variance, injectivity, and abstraction Jacques Garrigue 1 Introduction

Source URL: www.math.nagoya-u.ac.jp

• Software engineering
• Type theory
• Object-oriented programming
• Computing
• Computer programming
• Data types
• Polymorphism
• Functional programming
• Covariance and contravariance
• Subtyping
• Generalized algebraic data type
• Variance

CONCURRENCY AND COMPUTATION: PRACTICE AND EXPERIENCE Concurrency Computat.: Pract. Exper. 0000; 00:1–21 Published online in Wiley InterScience (www.interscience.wiley.com). DOI: cpe Testing for Linearizability

Source URL: www.cs.ox.ac.uk

• Concurrency control
• Transaction processing
• Abstract data types
• Linearizability
• Queue
• Schedule
• Double-ended queue
• Algorithm
• Graph traversal
• Continuation
• Non-blocking algorithm

Private Row Types: Abstracting the Unnamed Jacques Garrigue Graduate School of Mathematical Sciences, Nagoya University, Chikusa-ku, NagoyaAbstract. In addition to traditional recor

Source URL: www.math.nagoya-u.ac.jp

• Functional languages
• Data types
• Functional programming
• Object-oriented programming languages
• Programming idioms
• OCaml
• Structural type system
• Scala
• ALGOL 68
• Recursion
• Monad
• C++ classes